First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
851	6 The Semantics of the Predicate Calculus 1. The Rudiments of Set Theory In the propositional calculus interpretations were defined to be assignments of truth values to sentential letters. We then defined a valid Add to Reading List Source URL: lawandlogic.files.wordpress.com Language: English - Date: 2012-10-07 12:08:38 Semantics Predicate logic Interpretation First-order logic Non-logical symbol Predicate Finitary relation Tautology Quantification Logic Mathematical logic Propositional calculus
852	Microsoft Word - AG3-FinitaryCut Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2008-11-02 06:24:07 Predicate logic Logical syntax Model theory First-order logic Linear logic Finitary Calculus of structures Modal logic Mereology Logic Mathematical logic Non-classical logic
853	Jaakko Hintikka Boston University and Ilpo Halonen University of Helsinki Add to Reading List Source URL: scistud.umkc.edu Language: English - Date: 2002-07-15 23:21:00 Proof theory Deduction Propositional calculus Method of analytic tableaux First-order logic Entailment Interpolation Sequent calculus Curry–Howard correspondence Logic Mathematical logic Automated theorem proving
854	On the Declarativity of Declarative Networking Yun Mao AT&T Labs - Research 180 Park Ave, Florham Park, NJ, USA [removed] Add to Reading List Source URL: netdb09.cis.upenn.edu Language: English - Date: 2009-08-12 10:02:51 Programming paradigms Query languages Datalog Logic programming Deductive database SQL Declarative programming First-order logic Oz Computing Software engineering Computer programming
855	Alchemy: Transmuting Base Alloy Specifications into Implementations Shriram Krishnamurthi Daniel J. Dougherty Add to Reading List Source URL: hashcollision.org Language: English - Date: 2008-08-11 11:51:58 Mathematics Semantics Model theory Prolog Predicate First-order logic Mereology Interpretation Type theory Logic Mathematical logic Predicate logic
856	Academic software reuse, an experience report Edward Z. Yang May 14, 2012 The objective of this 6.UAP project was to build an online, educational proof assistant for classical first-order logic, which al Add to Reading List Source URL: ezyang.com Language: English - Date: 2013-05-31 17:17:03 Mathematics Automated theorem proving Logic in computer science Functional languages Proof assistant Coq Natural deduction Jape Intuitionistic logic Mathematical logic Logic Proof theory
857	Abstract Satisfaction Vijay D’Silva Leopold Haller Daniel Kroening Add to Reading List Source URL: www.kroening.com Language: English - Date: 2014-05-29 09:55:04 Order theory Philosophical logic Predicate logic Deduction Formal methods Entailment Abstract interpretation First-order logic Galois connection Mathematics Logic Mathematical logic
858	Technical Report WV[removed]November 2005 On Structuring Proof Search for First Order Linear Logic Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2012-01-04 16:21:37 Sequent calculus Sequent Symbol Linear logic Entailment Cut-elimination theorem Interpretation Rule of inference Logic programming Logic Mathematical logic Proof theory
859	A First Order System with Finite Choice of Premises Kai Br¨ unnler [removed] Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2003-11-28 09:54:28 Rule of inference Sequent calculus Cut-elimination theorem Deep inference First-order logic Sequent Negation Atomic formula Inference Logic Mathematical logic Proof theory
860	Reasoning with Triggers Claire Dross Sylvain Conchon Johannes Kanig Add to Reading List Source URL: smt2012.loria.fr Language: English - Date: 2012-06-20 03:34:17 Predicate logic Model theory Semantics Logic in computer science Formal languages Satisfiability Modulo Theories First-order logic Interpretation Atomic formula Logic Theoretical computer science Mathematical logic

UPDATE